1,561 research outputs found

    Independence, Relative Randomness, and PA Degrees

    Full text link
    We study pairs of reals that are mutually Martin-L\"{o}f random with respect to a common, not necessarily computable probability measure. We show that a generalized version of van Lambalgen's Theorem holds for non-computable probability measures, too. We study, for a given real AA, the \emph{independence spectrum} of AA, the set of all BB so that there exists a probability measure μ\mu so that μ{A,B}=0\mu\{A,B\} = 0 and (A,B)(A,B) is μ×μ\mu\times\mu-random. We prove that if AA is r.e., then no Δ20\Delta^0_2 set is in the independence spectrum of AA. We obtain applications of this fact to PA degrees. In particular, we show that if AA is r.e.\ and PP is of PA degree so that P̸≥TAP \not\geq_{T} A, then A⊕P≥T0′A \oplus P \geq_{T} 0'

    Badger Behaving Badly

    Get PDF

    Badger Eats

    Full text link
    • …
    corecore